On path-based coalgebras and weak notions of bisimulation

It is well known that the theory of coalgebras provides an abstract definition of behavioural equivalence that coincides with strong bisimulation across a wide variety of state-based systems. Unfortunately, the theory in the presence of so-called silent actions is not yet fully developed. In this paper, we give a coalgebraic characterisation of branching (delay) bisimulation in the context of labelled transition systems (fully probabilistic systems). It is shown that recording executions (up to a notion of stuttering), rather than the set of successor states, from a state is sufficient to characterise the respected bisimulation relations in both cases

The potential role of kelp forests on iodine speciation in coastal seawater

Funding: FCK would like to thank the TOTAL Foundation (Paris) and the MASTS pooling initiative (The Marine Alliance for Science and Technology for Scotland) for their support. MASTS is funded by the Scottish Funding Council (grant reference HR09011) and contributing institutions. JG acknowledges support from an SDSU Research Foundation Summer Undergraduate Research Award. The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript.Peer reviewedPublisher PD

Unraveling the ultrafast dynamics of thermal-energy chemical reactions

In this perspective, we discuss how one can initiate, image, and disentangle the ultrafast elementary steps of thermal-energy chemical dynamics, building upon advances in technology and scientific insight. We propose that combinations of ultrashort mid-infrared laser pulses, controlled molecular species in the gas phase, and forefront imaging techniques allow to unravel the elementary steps of general-chemistry reaction processes in real time. We detail, for prototypical first reaction systems, experimental methods enabling these investigations, how to sufficiently prepare and promote gas-phase samples to thermal-energy reactive states with contemporary ultrashort mid-infrared laser systems, and how to image the initiated ultrafast chemical dynamics. The results of such experiments will clearly further our understanding of general-chemistry reaction dynamics.Comment: 12 pages, 6 figure

Strongly aligned and oriented molecular samples at a kHz repetition rate

We demonstrate strong adiabatic laser alignment and mixed-field orientation at kHz repetition rates. We observe degrees of alignment as large as cos\Theta=0.94 at 1 kHz operation for iodobenzene. The experimental setup consist of a kHz laser system simultaneously producing pulses of 30 fs (1.3 mJ) and 450 ps (9 mJ). A cold 1 K state-selected molecular beam is produced at the same rate by appropriate operation of an Even-Lavie valve. Quantum state selection has been obtained using an electrostatic deflector. A camera and data acquisition system records and analyzes the images on a single-shot basis. The system is capable of producing, controlling (translation and rotation) and analyzing cold molecular beams at kHz repetition rates and is, therefore, ideally suited for the recording of ultrafast dynamics in so-called "molecular movies".Comment: 6 pages, 4 figures, in press in Mol. Phys., accepted in February 2013, in final production (galley proofs done) since March 8, 2013, v3 only adds publication dat

Two-state wave packet for strong field-free molecular orientation

We demonstrate strong laser-field-free orientation of absolute-ground-state carbonyl sulfide molecules. The molecules are oriented by the combination of a 485-ps-long non-resonant laser pulse and a weak static electric field. The edges of the laser pulse create a coherent superposition of two rotational states resulting in revivals of strong transient molecular orientation after the laser pulse. The experimentally attained degree of orientation of 0.6 corresponds to the theoretical maximum for mixing of the two states. Switching off the dc field would provide the same orientation completely field-free

Strongly driven quantum pendulum of the OCS molecule

We demonstrate and analyze a strongly driven quantum pendulum in the angular motion of stateselected and laser aligned OCS molecules. Raman-couplings during the rising edge of a 50-picosecond laser pulse create a wave packet of pendular states, which propagates in the confining potential formed by the polarizability interaction between the molecule and the laser field. This wave-packet dynamics manifests itself as pronounced oscillations in the degree of alignment with a laser-intensity dependent period.Comment: 6 pages, 4 figure

What are Hybrid Development Methods Made Of?

Regardless of company size or industry sector, a majority of project teams and companies use customized processes that combine different development methods-so-called hybrid development methods. Even though such hybrid development methods are highly individualized, a common understanding of how to systematically construct synergetic practices is missing. Based on 1,467 data points from a large-scale online survey among practitioners, we study the current state of practice in process use to answer the question: What are hybrid development methods made of? Our findings reveal that only eight methods and few practices build the core of modern software development. This small set allows for statistically constructing hybrid development methods

What are Hybrid Development Methods Made Of? An Evidence-Based Characterization

Among the multitude of software development processes available, hardly any is used by the book. Regardless of company size or industry sector, a majority of project teams and companies use customized processes that combine different development methods— so-called hybrid development methods. Even though such hybrid development methods are highly individualized, a common understanding of how to systematically construct synergetic practices is missing. In this paper, we make a first step towards devising such guidelines. Grounded in 1,467 data points from a large-scale online survey among practitioners, we study the current state of practice in process use to answer the question: What are hybrid development methods made of? Our findings reveal that only eight methods and few practices build the core of modern software development. This small set allows for statistically constructing hybrid development methods. Using an 85% agreement level in the participants’ selections, we provide two examples illustrating how hybrid development methods are characterized by the practices they are made of. Our evidence-based analysis approach lays the foundation for devising hybrid development methods

A coalgebraic treatment of conditional transition systems with upgrades

We consider conditional transition systems, that model software product lines with upgrades, in a coalgebraic setting. By using Birkhoff's duality for distributive lattices, we derive two equivalent Kleisli categories in which these coalgebras live: Kleisli categories based on the reader and on the so-called lattice monad over Poset. We study two different functors describing the branching type of the coalgebra and investigate the resulting behavioural equivalence. Furthermore we show how an existing algorithm for coalgebra minimisation can be instantiated to derive behavioural equivalences in this setting